object TBourbakiDoc
  ActivePage = 4
  object HOAKF0M0ELLVT2LQGNNAVQIEEO: TOpScheme
    Caption = #1057#1093#1077#1084#1072' '#1089#1080#1085#1090#1077#1079#1072
    PageIndex = 4
    object DOUEMFGWBSOHRULXKJNW4OXZ4V: TOSNode
      X = 276
      Y = 248
      Scheme = _198337A10BE0420AB90F516A1DF36C6B
    end
    object DCB3CK4EQVTPRSIR0WAGNEVXSE: TOSNode
      X = 447
      Y = 276
      Scheme = _9AF178E775D34D809FBF6C1B1A2D56F5
    end
    object AQNWZPX2RXJDTU0EICKZ10VYES: TOSNode
      X = 252
      Y = 65
      Scheme = _2D940A6BBDAB4C6887E7F1993BB67ADC
    end
    object HCM5RWE4UWZGSUIJAXYKKYOOT5: TOSNode
      X = 577
      Y = 273
      Scheme = _8BB2BF6192384331A80249A2603056D3
    end
    object G5EOTPPOWJ34RGKMQJ2TUIID01: TOSNode
      X = 497
      Y = 117
      Scheme = FOBCSSDZPO2ZSAYHHYVFZ11PRO
    end
    object CWINQNWHC0A3SOYLF25FHZIA10: TOSNode
      X = 116
      Y = 99
      Scheme = GADP3C3DJOHDTYYJQK1WMKOKVI
    end
    object EVXTOJ5SAIY5R4Y3DHSUJEUWJV: TOSNode
      X = 490
      Y = 43
      Scheme = BLPTIBR3ZD2WQWLM2S2EO1S2U4
    end
  end
  object _198337A10BE0420AB90F516A1DF36C6B: TConceptualScheme
    Caption = #1060#1091#1085#1082#1094#1080#1103
    Constituents = <
      item
        Name = 'X1'
      end
      item
        Name = 'X2'
      end
      item
        Name = 'D1'
        Expression = #8492'(X1'#215'X2)'
      end
      item
        Name = 'Ax1'
        Expression = #8704'x'#8712'X1,'#8707'y'#8712'X2((x,y)'#8712'D1)'
        Interpretation = #1042#1089#1102#1076#1091#1086#1087#1088#1077#1076#1077#1083#1105#1085#1085#1086#1089#1090#1100
      end
      item
        Name = 'Ax2'
        Expression = #8704'd1'#8712'D1,'#8704'd2'#8712'D1((pr1(d1)=pr1(d2))'#8658'(pr2(d1)=pr2(d2)))'
        Interpretation = #1055#1088#1103#1084#1072#1103' '#1086#1076#1085#1086#1079#1085#1072#1095#1085#1086#1089#1090#1100
      end
      item
        Name = 'Tr1'
        Expression = 'Pr1(D1)'
        Interpretation = #1054#1073#1083#1072#1089#1090#1100' '#1086#1087#1088#1077#1076#1077#1083#1077#1085#1080#1103
      end
      item
        Name = 'Tr2'
        Expression = 'Pr2(D1)'
        Interpretation = #1054#1073#1083#1072#1089#1090#1100' '#1079#1085#1072#1095#1077#1085#1080#1081
      end>
    PageIndex = 1
  end
  object _9AF178E775D34D809FBF6C1B1A2D56F5: TConceptualScheme
    Caption = #1043#1088#1072#1092' '#1090#1080#1087#1072' "'#1076#1077#1088#1077#1074#1086'"'
    Constituents = <
      item
        Name = 'X1'
        Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1074#1077#1088#1096#1080#1085
      end
      item
        Name = 'D1'
        Expression = #8492'(X1'#215'X1)'
      end
      item
        Name = 'Tr1'
        Expression = 'Pr1(D1)\Pr2(D1)'
        Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1085#1072#1095#1072#1083#1100#1085#1099#1093' '#1074#1077#1088#1096#1080#1085
      end
      item
        Name = 'Tr2'
        Expression = 'Pr2(D1)\Pr1(D1)'
        Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1082#1086#1085#1077#1095#1085#1099#1093' '#1074#1077#1088#1096#1080#1085
      end
      item
        Name = 'Ax1'
        Expression = 'card(Tr1)=1'
        Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1072#1103' '#1085#1072#1095#1072#1083#1100#1085#1072#1103' '#1074#1077#1088#1096#1080#1085#1072
      end
      item
        Name = 'Ax2'
        Expression = #8704'E'#8838'D1(Pr1(E)'#8800'Pr2(E))'
        Interpretation = #1054#1090#1089#1091#1090#1089#1090#1074#1080#1077' '#1094#1080#1082#1083#1086#1074' '#1080' '#1087#1077#1090#1077#1083#1100
      end
      item
        Name = 'Ax3'
        Expression = #8704'd1'#8712'D1,'#8704'd2'#8712'D1((pr2(d1)=pr2(d2))'#8658'(d1=d2))'
        Interpretation = #1042' '#1074#1077#1088#1096#1080#1085#1091' '#1084#1086#1078#1077#1090' '#1074#1093#1086#1076#1080#1090#1100' '#1090#1086#1083#1100#1082#1086' '#1086#1076#1085#1072' '#1076#1091#1075#1072
      end
      item
        Name = 'Tr3'
        Expression = 'debool(Tr1)'
        Interpretation = #1053#1072#1095#1072#1083#1100#1085#1072#1103' '#1074#1077#1088#1096#1080#1085#1072
      end
      item
        Name = 'Tr4'
        Expression = 
          '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'd'#8712'D1((pr1(d)=pr1(t))&(pr2(d)=x)' +
          ') }}'
        Interpretation = 
          #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1074#1077#1088#1096#1080#1085', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1089#1083#1077#1076#1091#1102 +
          #1097#1080#1093' '#1079#1072' '#1076#1072#1085#1085#1086#1081
      end
      item
        Name = 'Tr5'
        Expression = 
          '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'E'#8838'D1((Pr1(E)\Pr2(E)=bool(pr1(t)' +
          '))&(Pr2(E)\Pr1(E)=bool(x))) }}'
        Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1077#1105' '#1085#1080#1078#1085#1077#1077' '#1079#1072#1084#1099#1082#1072#1085#1080#1077
      end
      item
        Name = 'Tr6'
        Expression = 
          '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'E'#8838'D1((Pr2(E)\Pr1(E)=bool(pr1(t)' +
          '))&(Pr1(E)\Pr2(E)=bool(x))) }}'
        Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1077#1105' '#1074#1077#1088#1093#1085#1077#1077' '#1079#1072#1084#1099#1082#1072#1085#1080#1077
      end
      item
        Name = 'Tr7'
        Expression = 
          '{t '#8712'X1'#215#8492'(X1) | '#8707'y1'#8712'Tr6 (pr1(y1) = pr1(t))&(pr2(t)={x '#8712' X1| '#8707'y2'#8712'T' +
          'r6 (pr1(y2) = x) & (card (pr2(y2)) > card (pr2(y1)))})}'
        Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1074#1077#1088#1096#1080#1085#1072', '#1074#1077#1088#1096#1080#1085#1099' '#1073#1086#1083#1100#1096#1077#1075#1086' '#1088#1072#1085#1075#1072
      end>
    PageIndex = 0
  end
  object _2D940A6BBDAB4C6887E7F1993BB67ADC: TConceptualScheme
    Caption = #1058#1077#1089#1090' '#1088#1072#1079#1073#1086#1088#1072' '#1089#1090#1091#1087#1077#1085#1077#1081
    Constituents = <
      item
        Name = 'X1'
      end
      item
        Name = 'X2'
      end
      item
        Name = 'D1'
        Expression = '(X1'#215'X2)'#215'X2'#215'X1'
      end
      item
        Name = 'D2'
        Expression = '(X1'#215'X2)'#215'X2'
      end
      item
        Name = 'D3'
        Expression = 'X1'#215'X2'#215'X2'#215'X1'
      end
      item
        Name = 'D4'
        Expression = 'X1'#215'(X2'#215'X2'#215'X1'#215'X1)'
      end
      item
        Name = 'D5'
        Expression = #8492#8492#8492#8492#8492'(X1'#215'X2'#215'X2)'#215#8492'(X1)'
      end>
    PageIndex = 3
  end
  object _8BB2BF6192384331A80249A2603056D3: TConceptualScheme
    Caption = #1057#1077#1090#1100' '#1088#1072#1073#1086#1090
    Constituents = <
      item
        Name = 'X1'
        Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1086#1089#1090#1086#1103#1085#1080#1081
      end
      item
        Name = 'C1'
        Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1076#1083#1080#1090#1077#1083#1100#1085#1086#1089#1090#1077#1081
      end
      item
        Name = 'C2'
        Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1085#1072#1090#1091#1088#1072#1083#1100#1085#1099#1093' '#1095#1080#1089#1077#1083
      end
      item
        Name = 'D1'
        Expression = #8492'(X1'#215'X1'#215'C1)'
        Interpretation = 
          #1057#1077#1090#1100' '#1088#1072#1073#1086#1090': '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1090#1088#1086#1077#1082' "'#1085#1072#1095#1072#1083#1100#1085#1086#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1082#1086#1085#1077#1095#1085#1086#1077' '#1089#1086#1089#1090#1086 +
          #1103#1085#1080#1077', '#1087#1083#1072#1085#1086#1074#1072#1103' '#1076#1083#1080#1090#1077#1083#1100#1085#1086#1089#1090#1100'"'
      end
      item
        Name = 'D2'
        Expression = #8492'(X1'#215'C2)'
        Interpretation = #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1077#1075#1086' '#1085#1086#1084#1077#1088
      end
      item
        Name = 'Ax1'
        Expression = #8704'E'#8838'D1(Pr1(E)'#8800'Pr2(E))'
        Interpretation = #1054#1090#1089#1091#1090#1089#1090#1074#1080#1077' '#1094#1080#1082#1083#1086#1074' '#1080' '#1087#1077#1090#1077#1083#1100
      end
      item
        Name = 'Ax2'
        Expression = 'card(Pr1(D1)\Pr2(D1)) = 1'
        Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1086#1077' '#1085#1072#1095#1072#1083#1100#1085#1086#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1077
      end
      item
        Name = 'Ax3'
        Expression = 'card(Pr2(D1)\Pr1(D1)) = 1'
        Interpretation = #1057#1091#1097#1077#1089#1090#1074#1091#1077#1090' '#1077#1076#1080#1085#1089#1090#1074#1077#1085#1085#1086#1077' '#1082#1086#1085#1077#1095#1085#1086#1077' '#1089#1086#1089#1090#1086#1103#1085#1080#1077
      end
      item
        Name = 'Ax4'
        Expression = 
          #8704'd'#8712'D1,'#8704'd1'#8712'D2,'#8704'd2'#8712'D2((pr1(d)=pr1(d1))&(pr2(d)=pr1(d2)))'#8658'(pr2(d1)>' +
          'pr2(d2))'
        Interpretation = #1040#1082#1089#1080#1086#1084#1072' '#1085#1072' '#1085#1091#1084#1077#1088#1072#1094#1080#1102' '#1089#1086#1089#1090#1086#1103#1085#1080#1081
      end
      item
        Name = 'Tr1'
        Expression = 
          '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'd'#8712'D1((pr1(d)=pr1(t))&(pr2(d)=x)' +
          ') }}'
        Interpretation = 
          #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1086#1089#1090#1086#1103#1085#1080#1081', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1089 +
          #1083#1077#1076#1091#1102#1097#1080#1093' '#1079#1072' '#1076#1072#1085#1085#1099#1084
      end
      item
        Name = 'Tr2'
        Expression = 
          '{t '#8712'X1'#215#8492'(X1) | pr2(t) = {x '#8712' X1|'#8707'd'#8712'D1((pr2(d)=pr1(t))&(pr1(d)=x)' +
          ') }}'
        Interpretation = 
          #1052#1085#1086#1078#1077#1089#1090#1074#1086' '#1087#1072#1088': '#1089#1086#1089#1090#1086#1103#1085#1080#1077', '#1084#1085#1086#1078#1077#1089#1090#1074#1086' '#1089#1086#1089#1090#1086#1103#1085#1080#1081', '#1085#1077#1087#1086#1089#1088#1077#1076#1089#1090#1074#1077#1085#1085#1086' '#1087 +
          #1088#1077#1076#1096#1077#1089#1090#1074#1091#1102#1097#1080#1093' '#1076#1072#1085#1085#1086#1084#1091
      end
      item
        Name = 'D3'
        Expression = #8492'(X1)'
      end
      item
        Name = 'D4'
        Expression = #8492#8492'(X1)'
      end>
    PageIndex = 2
  end
  object FOBCSSDZPO2ZSAYHHYVFZ11PRO: TSynthesizedScheme
    Caption = #1050#1057' 1'
    Constituents = <
      item
        Name = 'X101'
      end
      item
        Name = 'D101'
        Expression = 'X101'
      end>
    PageIndex = 6
    BaseScheme1 = _9AF178E775D34D809FBF6C1B1A2D56F5
    BaseScheme2 = _8BB2BF6192384331A80249A2603056D3
    BaseSetName = 'X1'
    ConstituentName = 'D1'
  end
  object GADP3C3DJOHDTYYJQK1WMKOKVI: TMultipliedScheme
    Caption = #1050#1057' 2'
    Constituents = <>
    PageIndex = 7
    BaseScheme = _198337A10BE0420AB90F516A1DF36C6B
    BaseStructureName = 'D1'
  end
  object BLPTIBR3ZD2WQWLM2S2EO1S2U4: TMultipliedScheme
    Caption = #1050#1057' 3'
    Constituents = <>
    PageIndex = 8
    BaseScheme = FOBCSSDZPO2ZSAYHHYVFZ11PRO
    BaseStructureName = 'D101'
  end
  object HNQ4AL00W0L1RE0TJ3SGVBLQ2A: TMGraph
    Caption = 'M-'#1075#1088#1072#1092' 2'
    Scheme = _8BB2BF6192384331A80249A2603056D3
    PageIndex = 5
    HorzScroll = 86
    VertScroll = 528
    ScaleFactor = 0.707113562438127500
    object GWJWJF3OKLICRYYVK2S0RQ0KFH: TMNode
      Caption = 'X1'
      X = 434
      Y = 849
    end
    object DBPK3KNWYMQPSGLTPM3VBK4ZD1: TMNode
      Caption = 'C1'
      X = 595
      Y = 842
      DX = -19
      DY = 32
    end
    object HMXSZW5KLOZ3TIJUSKTHJD5EWC: TMNode
      Caption = 'C2'
      X = 688
      Y = 822
      DX = 21
      DY = 33
    end
    object FXTWWTKTOVSYRUZMY5D2AG3ANU: TMNode
      X = 312
      Y = 774
      object ERIWMY4G531KQ4ZYGQTSWXEKGO: TMVariable
        Caption = 'D3'
        DX = -23
        DY = -39
      end
      object ANNEG50BRD4VRAZB2HFT1WRLAV: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.GWJWJF3OKLICRYYVK2S0RQ0KFH
      end
    end
    object CN2NE3YOYI0IRE1O5PKCWKKBST: TMNode
      X = 558
      Y = 741
      object FVDJCD22GRPRR2JWIOPZZM1OX0: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.GWJWJF3OKLICRYYVK2S0RQ0KFH
      end
      object HMNR1S1NGHTHQK05KYWJB3QORV: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.GWJWJF3OKLICRYYVK2S0RQ0KFH
      end
      object AB1WGVWXCBW0QG11XMI2ZYBF0D: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.DBPK3KNWYMQPSGLTPM3VBK4ZD1
      end
    end
    object HDKWIIIHHG02QMLCYUNOGDKKWV: TMNode
      X = 676
      Y = 745
      object D2SIYPL53HANTUZRXQK5J4EMLQ: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.GWJWJF3OKLICRYYVK2S0RQ0KFH
      end
      object BBK3O5JVCXK4RQIRR3YOIIK1OJ: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.HMXSZW5KLOZ3TIJUSKTHJD5EWC
      end
    end
    object DRSTIYT3SZG5TOLXEOAMBRV4QE: TMNode
      X = 369
      Y = 714
      object H2ND5HOBHJP1RGJBPL21ULS1GU: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.GWJWJF3OKLICRYYVK2S0RQ0KFH
      end
      object AS1432Q4JQE3QY1FPUZVJELFUW: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.FXTWWTKTOVSYRUZMY5D2AG3ANU
      end
    end
    object GZ0AKBV45V2DSMIKK5XAIRWKAY: TMNode
      X = 541
      Y = 632
      object FFUKI0XI13HDSGJICWM0DRDV32: TMVariable
        Caption = 'D1'
        DX = -11
        DY = -49
      end
      object DBNFIAAQ3BFNSE1QHUS1IW00ZS: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.CN2NE3YOYI0IRE1O5PKCWKKBST
      end
    end
    object ABA5EGHHWZXKRWIAY511QG1ROM: TMNode
      X = 676
      Y = 646
      object D4PQ3O4H1V32QUJGFTX0SEDB1K: TMVariable
        Caption = 'D2'
        DX = 16
        DY = -38
      end
      object HLIGD2NRWCCAQSYGZPDLXIGKNB: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.HDKWIIIHHG02QMLCYUNOGDKKWV
      end
    end
    object BKYJO0IZW5TCRSINQOUBN4G4LT: TMNode
      X = 461
      Y = 631
      object AI1SQTIL5CCNRI1QWCMBHE4XTZ: TMVariable
        Caption = 'Tr1'
        DX = 39
        DY = -29
      end
      object GLASEZL2B0TYQILCOZWHIWD2RZ: TMVariable
        Caption = 'Tr2'
        DX = -25
        DY = -25
      end
      object GOALUDZDZ4QBQMIZMHB0AVJ1IE: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.DRSTIYT3SZG5TOLXEOAMBRV4QE
      end
    end
    object EMRQJKQ4ONQPQAJSRBC3ZRKNJY: TMNode
      X = 308
      Y = 562
      object G1XL3RTZJWV4S0IYHNTVUB0H5E: TMVariable
        Caption = 'D4'
        DX = 36
      end
      object FI4JXXNBQZVMTEZYNNXR5JU0EY: TMEdge
        SubNode = HNQ4AL00W0L1RE0TJ3SGVBLQ2A.FXTWWTKTOVSYRUZMY5D2AG3ANU
      end
    end
  end
end
